Theoremproving system
[计] 定理证明系统
🧩 词语组成解析
[计] 定理证明
🗣️ 情景例句
When I was asked to speak in English.
刚才当被要求说英语的时候。
Yes, and I hope we can have some snow this winter.
是的，我希望今年冬天会下雪。
Judges, however wise or eminent, are human and can make mistakes.
法官无论如何聪明与有名，毕竟也是人，也会出差错的。